Head and Dependent Marking in Clausal Possession

An HPSG Marking Analysis of Danish Determiners and Clausal Adverbials

D e te rm in e rs a n d a d v e rb ia ls in m an y la n g u a g e s o c c u r in a fixed o rd e r w h ich is n o t a n issue t h a t h a s rece iv ed a g re a t d e a l o f a t te n t io n in H P S G 94[9 ]. T o d ea l w ith th e o rd e r o f I ta l ia n d e te r ­ m in e rs A lle g ra n z a ([2] a n d [3]) p ro p o ses a rev is io n o f H P S G 9 4 . W e have a d o p te d A lle g ra n z a ’s a...

a contrastive analysis of concord and head parameter in english and azerbaijani

این پایان نامه به بررسی و مقایسه دو موضوع مطابقه میان فعل و فاعل (از نظر شخص و مشار) و هسته عبارت در دو زبان انگلیسی و آذربایجانی می پردازد. اول رابطه دستوری مطابقه مورد بررسی قرار می گیرد. مطابقه به این معناست که فعل مفرد به همراه فاعل مفرد و فعل جمع به همراه فاعل جمع می آید. در انگلیسی تمام افعال، بجز فعل بودن (to be) از نظر شمار با فاعلشان فقط در سوم شخص مفرد و در زمان حال مطابقت نشان میدهند...

A Combination of Clausal and Non Clausal Temporal Logic Programs

We have developped Tokio interpreter[5] for rst order Inteval Temporal Logic[11] and an automatic theorem prover [6, 7] for Propositional Interval Temporal Logic. The veri er features deterministic tableau expansion and binary decision tree representation of subterms. Combining these, we can avoid repeated similar clausal form time constraints, and it is possible to execute wider range of speci...

Rewrite Methods for Clausal and Non-Clausal Theorem Proving

Effective theorem provers are essential for automatic verification and generation of programs. The conventional resolution strategies, albeit complete, are inefficient. On the other hand, special purpose methods, such as term rewriting systems for solving word problems, are relatively efficient but applicable to only limited classes of problems. In this paper, a simple canonical set of rewrite ...

Clausal Complementation and Selection